By using SIAM Journals Online you agree to abide by the
Terms and Conditions of Use.

©  SIAM

 

SIAM Journal on Computing

Table of Contents
Search This Issue
Volume 7, Issue 1, pp. 1-118

Please Note: Electronic articles are available well in advance of the printed articles.

What Article options are available ?   View Cart   

An Application of Bin-Packing to Multiprocessor Scheduling

E. G. Coffman, Jr., M. R. Garey, and D. S. Johnson

pp. 1-17

BibTeX  Abstract Full Text:  PDF

Minimean Merging and Sorting: An Algorithm

R. Michael Tanner

pp. 18-38

BibTeX  Abstract Full Text:  PDF

Simple Gödel Numberings, Isomorphisms, and Programming Properties

Michael Machtey, Karl Winklmann, and Paul Young

pp. 39-60

BibTeX  Abstract Full Text:  PDF

Polynomials with $0$-$1$ Coefficients That are Hard to Evaluate

Richard J. Lipton

pp. 61-69

BibTeX  Abstract Full Text:  PDF

Soundness and Completeness of an Axiom System for Program Verification

Stephen A. Cook

pp. 70-90

BibTeX  Abstract Full Text:  PDF

An Extension of Computational Duality to Sequences of Bilinear Computations

Robert L. Probert

pp. 91-98

BibTeX  Abstract Full Text:  PDF

Computational Parallels between the Regular and Context-Free Languages

H. B. Hunt, III and D. J. Rosenkrantz

pp. 99-114

BibTeX  Abstract Full Text:  PDF

The Time Measure of One-Tape Turing Machines Does Not Have the Parallel Computation Property

Joachim Biskup

pp. 115-117

BibTeX  Abstract Full Text:  PDF

Erratum: A Fast Monte-Carlo Test for Primality

R. Solovay and V. Strassen

p. 118

BibTeX  Abstract Full Text:  PDF